An Algebraic Semantics of Basic Message Sequence Charts

Reduction and Topology, p. 28. Non Interleaving Process Algebra, p. 17. Design and Analysis ofDynamic Leader Election Protocolsin Broadcast Networks, p. 73. A general conservative extension theorem in processalgebra, p. 17. Job Shop Scheduling by Constraint Satisfaction, p. 22. A Hierarchical Membership Protocol for SynchronousDistributed Systems, p. 43. Temporal operators viewed as predicate transformers,p. 1 I. Automatic Verification of Regular Protocols in PIT NeLS,p. 23. A taxomomy of finite automata construction algorithms,p. 87. A taxonomy of finite automata minimization algorithms,p.23. A precise clock synchronization protocol,p. Trcewidth and Patwidth of Cocomparability graphs ofBounded Dimension, p. 14. Browsing Semantics in the "Tower" Model, p. 19. Verifying Sequentially Consistent Memory using InterfaceRelincment, p. 20. 94/01 P. AmericaM. van dcr KammenR.P. NederpeltO.S. van RoosmalenH.C.M. de Swart 94/02 F. KamareddineR.P. Nederpelt 94/03 L.B. HartmanK.M. van Hee 94/04 J.C.M. BaetenJ.A. Bergstra 94/05 P. ZhouJ. Hooman 94/06 T. BastenT. KunzJ. BlackM. CoffinD. Taylor 94/07 K.R. AptR. Bol 94/08 O.S. van Roosmalcn 94/09 J.C.M. BactcnJ.A. Bergstra